|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (advisor) ; Sedlár, Igor (referee)
First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises all the introduced representations. Further, we select three frameworks and list the properties that need to be added to a conditional plausibility space in order to recover each of these frameworks. The main goal of this work, however, is to show how public announcement on single-agent plausibility models, ranking structures, and pos- sibility structures realised by their corresponding update mechanisms, can be embedded into the framework of conditional plausibility spaces. At the very end we briefly illustrate a general update model using plausibility measures. Keywords: belief revision, dynamic logic, epistemic logic, plausibility space, pub- lic announcement, uncertainty, update.
|
|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (advisor) ; Sedlár, Igor (referee)
First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises all the introduced representations. Further, we select three frameworks and list the properties that need to be added to a conditional plausibility space in order to recover each of these frameworks. The main goal of this work, however, is to show how public announcement on single-agent plausibility models, ranking structures, and pos- sibility structures realised by their corresponding update mechanisms, can be embedded into the framework of conditional plausibility spaces. At the very end we briefly illustrate a general update model using plausibility measures. Keywords: belief revision, dynamic logic, epistemic logic, plausibility space, pub- lic announcement, uncertainty, update.
|
|
| |
|
|
The Logic of Anaphora
Peregrin, Jaroslav
The paper addresses foundational questions concerning the dynamic semantics of natural language based on dynamic logic of the Groenendijko-Stokhofian kind. Discussing a series of model calculi of increasing complecity, it shows in detail how usual semantics of dynamic logic can be seen as emerging from the account for certain inferential patterns of natural language, namely those governing anaphora. In this way, the current 'dynamic turn' of logic is argued to be reasonably seen not as the product of changing the focus of logic from the relation of entailment to "a structure of human cognitive action" (van Benthem), but rather as merely another step in our long-term effort to master more and more inferential patterns.
|
guest ::
